Juliana K.F. Bowles: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2010 17th Asia Pacific Software Engineering Conference (APSEC) - Sydney, Australia (2010.11.30-2010.12.3)] 2010 Asia Pacific Software Engineering Conference - Formal Transformation from Sequence Diagrams to Coloured Petri Nets

Bowles, Juliana, Meedeniya, Dulani

Year:

2010

Language:

english

File:

PDF, 735 KB

english, 2010

2

Our data, our society, our health: A vision for inclusive and transparent health data science in the United Kingdom and beyond

Ford, Elizabeth, Boyd, Andy, Bowles, Juliana K.F., Havard, Alys, Aldridge, Robert W., Curcin, Vasa, Greiver, Michelle, Harron, Katie, Katikireddi, Vittal, Rodgers, Sarah E., Sperrin, Matthew

Journal:

Learning Health Systems

Year:

2019

Language:

english

File:

PDF, 295 KB

english, 2019

3

[IEEE 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) - Las Vegas, NV, USA (2016.2.24-2016.2.27)] 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) - Model checking cancer automata

Bowles, Juliana K. F., Silvina, Agastya

Year:

2016

Language:

english

File:

PDF, 718 KB

english, 2016

4

Preface

Ralf Reussner, Iman Poernomo, Juliana Kuester Filipe Bowles

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

5

[IEEE 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Torun, Poland (2016.6.19-2016.6.24)] 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Weaving True-Concurrent Aspects Using Constraint Solvers

Bowles, Juliana K. F., Bordbar, Behzad, Alwanain, Mohammed

Year:

2016

Language:

english

File:

PDF, 637 KB

english, 2016

6

Preface

Juliana K.F. Bowles, Iman Poernomo, Ralf Reussner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 123 KB

english, 2007

7

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Parametric Transformations for Flexible Analysis

Bowles, Juliana, Meedeniya, Dulani

Year:

2012

Language:

english

File:

PDF, 540 KB

english, 2012

8

[IEEE 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS) - Peradeniya, Sri Lanka (2015.12.18-2015.12.20)] 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS) - Transformation and composition of software design models for Model Driven Development

Meedeniya, Dulani, Perera, Indika, Bowles, Juliana

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

9

[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods

Bowles, Juliana K. F., Caminati, Marco B.

Year:

2016

Language:

english

File:

PDF, 308 KB

english, 2016

10

Strongly consistent transformation of partial scenarios

Bowles, Juliana, Meedeniya, Dulani

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 707 KB

english, 2012

11

Preface

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 100 KB

english, 2009

12

Correct composition in the presence of behavioural conflicts and dephasing

Küster Filipe Bowles, Juliana, Caminati, Marco B.

Journal:

Science of Computer Programming

Year:

2020

Language:

english

File:

PDF, 1.21 MB

english, 2020

13

[IEEE 2014 International Computer Science and Engineering Conference (ICSEC) - Khon Kaen, Thailand (2014.7.30-2014.8.1)] 2014 International Computer Science and Engineering Conference (ICSEC) - SD2CPN: A model transformation tool for software design models

Meedeniya, Dulani, Bowles, Juliana, Perera, Indika

Year:

2014

Language:

english

File:

PDF, 716 KB

english, 2014

14

[ACM Press the first joint WOSP/SIPEW international conference - San Jose, California, USA (2010.01.28-2010.01.30)] Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10 - Synthesising PEPA nets from IODs for performance analysis

Bowles, Juliana, Kloul, Leila

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

15

Our data, our society, our health: A vision for inclusive and transparent health data science in the United Kingdom and beyond

Ford, Elizabeth, Boyd, Andy, Bowles, Juliana K.F., Havard, Alys, Aldridge, Robert W., Curcin, Vasa, Greiver, Michelle, Harron, Katie, Katikireddi, Vittal, Rodgers, Sarah E., Sperrin, Matthew

Journal:

Learning Health Systems

Year:

2019

File:

PDF, 295 KB

2019

16

[ACM Press Adjunct Publication of the 27th Conference - Larnaca, Cyprus (2019.06.09-2019.06.12)] Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization - UMAP'19 Adjunct - Security And Privacy Of Medical Data

Janjic, Vladimir, Bowles, Juliana, Belk, Marios, Pitsillides, Andreas

Year:

2019

Language:

english

File:

PDF, 1009 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски